Facet browsing currently unavailable
Page 1 of 318 results
Sort by: relevance publication year
Tools for Grammar Engineering BOOK CHAPTER published 2012 in Computational Issues in Fluid Construction Grammar |
Precise Parameter Synthesis for Stochastic Biochemical Systems BOOK CHAPTER published 2014 in Computational Methods in Systems Biology |
Grammar Debugging BOOK CHAPTER published 2015 in Systems and Frameworks for Computational Morphology |
Chapter I Mathematical Background BOOK CHAPTER published 1984 in Computational Methods for Optimizing Distributed Systems |
Complex Declension Systems and Morphology in Fluid Construction Grammar: A Case Study of Polish BOOK CHAPTER published 2012 in Computational Issues in Fluid Construction Grammar |
A System for Archivable Grammar Documentation BOOK CHAPTER published 2013 in Systems and Frameworks for Computational Morphology |
Autonomic Nature-Inspired Eco-systems BOOK CHAPTER published 2012 in Transactions on Computational Science XV |
Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis BOOK CHAPTER published 2018 in Computational Methods in Systems Biology |
Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli BOOK CHAPTER published 2018 in Computational Methods in Systems Biology |
The Numerical Approach to Analysis of Microchannel Cooling Systems BOOK CHAPTER published 2005 in Lecture Notes in Computer Science |
Synthesis for Vesicle Traffic Systems BOOK CHAPTER published 2018 in Computational Methods in Systems Biology |
Coordination Between Logical Agents BOOK CHAPTER published 2005 in Lecture Notes in Computer Science |
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract) BOOK CHAPTER published 2019 in Computational Methods in Systems Biology |
(Mathematical) Logic for Systems Biology (Invited Paper) BOOK CHAPTER published 2016 in Computational Methods in Systems Biology |
Mathematical Preliminaries BOOK CHAPTER published 28 June 2000 in Optical Science and Engineering |
Abstraction-Based Segmental Simulation of Chemical Reaction Networks BOOK CHAPTER published 2022 in Computational Methods in Systems Biology |
Brane Calculi BOOK CHAPTER published 2005 in Computational Methods in Systems Biology |
Parameter Synthesis by Parallel Coloured CTL Model Checking BOOK CHAPTER published 2015 in Computational Methods in Systems Biology |
Functional Methods in Stochastic Systems BOOK CHAPTER published 2012 in Mathematical Modeling and Computational Science |
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks BOOK CHAPTER published 2018 in Computational Methods in Systems Biology |